Model-Integrated Programming

The building of complex, large-scale industrial applications necessitates the integration of models into the problem solving process. This paper describes a modelintegrated program synthesis environment for computerbased system applications. In Model-Integrated Program Synthesis (MIPS), domain-specific, multiple-view models represent the software, its environment and their relationships. Model interpreters translate the models into the input languages of static and dynamic analysis tools, and application specific model interpreters synthesize software applications. The components of the system are built in the framework of the layered Multigraph Architecture, which separates the generic and domain/application specific components, and defines interfaces for expandability.